Quantitative Evaluation using Neko tool: NekoStat Extensions
نویسندگان
چکیده
منابع مشابه
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; it provides tools to organize the applications using a layered architecture, with the network(s) at the bottom of the architecture. Neko is also a communication platform that allows sending and receiving of generic Ja...
متن کاملExtending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms
In this paper we present our recent work extending the applicability of a toolset for the fast prototyping, verification and quantitative validation of dependable distributed systems and algorithms. Neko is a framework and a communication platform that allows rapid prototyping of distributed algorithms; the same implementation of an algorithm can be exercised both on top of real and simulated n...
متن کاملEnhancing the NekoStat Tool with Uncertainty, Resolution and Intrusiveness Evaluation Capabilities
Dependability and resilience measurements pose some important challenges to the scientific and industrial community, which span from the proper definition of the measurand, to the adequate characterization of measurement tool and techniques, and the correct presentation of measurement results. The authors have recently investigated the general awareness about metrological issues by examining so...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملNeko: A Single Environment to Simulate and Prototype Distributed Algorithms
Designing, tuning, and analyzing the performance of distributed algorithms and protocols are complex tasks. A major factor that contributes to this complexity is the fact that there is no single environment to support all phases of the development of a distributed algorithm. This paper presents Neko, an easy-to-use Java platform that provides a uniform and extensible environment for various pha...
متن کامل